<?php

class ArtefactosPeer extends BaseArtefactosPeer
{
}
